| emsoft | participants

Lars Lindemann

EMSOFT 2025: 25th International Conference on Embedded Software

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, and Lars Lindemann

EMSOFT 2024: 24th International Conference on Embedded Software

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift

Navid Hashemi, Lars Lindemann, and Jyotirmoy V. Deshmukh